Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Unification Algorithms
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
English - the hottest programming language of the future
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
⚡Interpreter Optimization
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🪜Recursive Descent
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·9h
✨Effect Inference
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
📋Datalog
Three ways formally verified code can go wrong in practice
buttondown.com·1h
📜Proof Languages
Neuro-Symbolic AI
en.wikipedia.org·4h·
Discuss: Hacker News
🎭Program Synthesis
Dimension reduction for efficient Bayesian inference of high-dimensional quantity of interest problems with parametric and nonparametric uncertainties
sciencedirect.com·50m
🗺️Region Inference
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🌱Minimal Lisps
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🌲Deforestation
ReasonScape Evaluation: AI21 Jamba Reasoning vs Qwen3 4B vs Qwen3 4B 2507
reddit.com·1d·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
📋Backus-Naur Form
Toy Binary Decision Diagrams
philipzucker.com·4d
✅Type Checking
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Exhaustive Guide to Generative and Predictive AI in AppSec
youtube.com·2d·
Discuss: DEV
🛡️Security Type Systems
Towards privacy-aware mental health AI models
nature.com·3h
✨Effect Inference
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
🦉Swift Interpreters
Building Vajra: My Journey Creating an AI Coding Assistant
chatgpt.com·1d·
Discuss: DEV
🎮Language Ergonomics